abstract reasoning solve